/* test2.c */
/* --------- testing console Read and Write */
/* --------- size of the program : 16 pages */

#include "syscall.h"

char usr_buffer_0[256];
char usr_buffer_1[256];

int main()
{
	  Exec( 1000 );
}
